# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header:  $

inherit eutils

DESCRIPTION="Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic."
HOMEPAGE="http://gappa.gforge.inria.fr/"
SRC_URI="http://gforge.inria.fr/frs/download.php/27654/${P}.tar.gz"

LICENSE="CeCILL"
SLOT="0"
KEYWORDS="x86 sparc"

IUSE=""
DEPEND="dev-libs/boost"
RDEPEND="${DEPEND}"

RESTRICT="fetch"

pkg_nofetch() {
	einfo "Because the certificate of the download site cannot be"
	einfo "verified, please download ${P}.tar.gz manually from"
	einfo "${HOMEPAGE} and place the file in"
	einfo "${DISTDIR}."
}

src_compile() {
	econf || die
	emake || die
}

src_install() {
	einstall || die
}
